Knihy od autora Bernhard Steffen

Zobrazené 20 – 32 z 32 výsledkov

1. 

   Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

   Tiziana Margaria, Bernhard Steffen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   71.04 €

   Kúpiť
2. 

   Karten Von Mykenai: Auf Veranlassung Des Deutschen Archaologischen Instituts Aufgenommen Und Mit Erlauterndem Text

   Bernhard Steffen | Nabu Press, 2010

   
   

   Skladom u dodávateľa - Odosielame za 14 - 18 dní

   Jazyk: Nemčina

   Väzba: Brožovaná

   22.58 €

   Kúpiť
3. 

   Leveraging Applications of Formal Methods

   Tiziana Maragria, Bernhard Steffen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   71.04 €

   Kúpiť
4. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 1995

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   71.04 €

   Kúpiť
5. 

   Grundlagen der höheren Informatik

   Bernhard Steffen, Oliver Rüthing, Malte Isberner | Springer, Berlin, 2013

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Nemčina

   Väzba: Pevná

   52.15 €

   Kúpiť
6. 

   Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

   Tiziana Margaria, Bernhard Steffen | Springer International Publishing AG, 2016

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   71.04 €

   Kúpiť
7. 

   Mathematical Foundations of Advanced Informatics

   Bernhard Steffen, Oliver Ruthing, Michael Huth | Springer Nature Switzerland AG, 2019

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   52.15 €

   Kúpiť
8. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen | Springer Nature Switzerland AG, 2019

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   77.31 €

   Kúpiť
9. 

   Mathematical Foundations of Advanced Informatics

   Bernhard Steffen, Oliver Rüthing, Michael Huth | Springer International Publishing AG, 2018

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Pevná

   52.15 €

   Kúpiť
10. 

    Leveraging Applications of Formal Methods, Verification and Validation

    Tiziana Margaria, Bernhard Steffen, Maik Merten | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

    
    

    Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    71.04 €

    Kúpiť
11. 

    Leveraging Applications of Formal Methods, Verification and Validation. Verification

    Tiziana Margaria, Bernhard Steffen | Springer Nature Switzerland AG, 2018

    
    

    Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    71.04 €

    Kúpiť
12. 

    Verification, Model Checking, and Abstract Interpretation

    Bernhard Steffen, Giorgio Levi | Springer, Berlin, 2004

    
    

    Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    71.04 €

    Kúpiť

Tovar môžete bez udania dôvodov do mesiaca vrátiť. Zistite viac